: The Havasupai Woman . Carma Lee Smithson.

CARMA Correlator CDR

Good CARMA for the High Plains

CARMA is a decision-support system for grasshopper infestations that has been successfully used since 1996. Rising treatment costs coupled with shrinking rangeland profit margins increasingly demand accurate selection of the most cost-effective responses to grasshopper infestations, and CARMA fills that need. In the process CARMA provides advice regarding grasshopper population management optio...

Modelling ambulance deployment with CARMA

CARMA is process-algebra influenced language for the quantitative modelling of collective adaptive systems which involve collaboration and coordination. These systems consist of multiple components that interact to achieve certain goals and that adapt to changes in the environment. As a case study for the application of CARMA, this paper presents an ambulance deployment system where ambulances ...

Yang–Lee zeros of the Yang–Lee model

To understand the distribution of the Yang–Lee zeros in quantum integrable field theories we analyse the simplest of these systems given by the 2D Yang– Lee model. The grand-canonical partition function of this quantum field theory, as a function of the fugacity z and the inverse temperature β, can be computed in terms of the thermodynamics Bethe Ansatz based on its exact S-matrix. We extract t...

CARMA: Scalability with Approximate-Model-Based Adaptation

Many complex physical systems such as biological systems are characterized both by incomplete models and limited empirical data. Accurate prediction of the behavior of such systems requires exploitation of multiple, individually incomplete, knowledge sources. Our approach, called approximate-model-based adaptation, utilizes case-based reasoning to provide an approximate solution and model-based...